all theorems in 1 Shot